$\forall$$D$:Dsys. Feasible($D$) $\Rightarrow$ $i$:Id$\rightarrow$M($i$).state